Combinatory logic - PDFSEARCH.IO - Document Search Engine

Combinatory logic
Results: 540

#	Item
151	Errata and Addenda for “On Abstraction and Informatics” [12] Tom Verhoeff October 2011, Augustp.7, below (5) The definition of morphism composition ◦ should read Add to Reading List Source URL: www.win.tue.nl Language: English - Date: 2013-08-31 05:46:37 Computability theory Recursion Functions and mappings Lambda calculus Fixed-point combinator Combinatory logic ML Function Iterated function Mathematics Theoretical computer science Software engineering
152	Representing “why’s” a proof language for IsaPlanner Gudmund Grov (Edinburgh) & Lucas Dixon (Google) Sponsored by: EPSRC funded AI4FM project, Bundy’s platform grants & Google Wednesday, 27 April 2011 Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:20:15 Combinatory logic Logic in computer science Function IsaPlanner Mathematics Mathematical logic Lambda calculus
153	A Type-based Analysis of Causality Loops in Hybrid Systems Modelers ∗ Albert Benveniste Add to Reading List Source URL: zelus.di.ens.fr Language: English - Date: 2014-02-04 14:54:08 Derivative Differential calculus Control theory Analysis Signal processing Combinatory logic LTI system theory Mathematical analysis Mathematics Functions and mappings
154	Informatics Everywhere: Information and Computation in Society, Science, and Technology Tom Verhoeff Dept. of Math. and CS, Eindhoven University of Technology Den Dolech 2, 5612 AZ Eindhoven, The Netherlands Add to Reading List Source URL: www.win.tue.nl Language: English - Date: 2013-06-24 05:42:44 Computability theory Lambda calculus Models of computation Formal methods Informatics Combinatory logic Computation Information theory Algorithm Applied mathematics Theoretical computer science Mathematics
155	Divide and Recycle: Types and Compilation for a Hybrid Synchronous Language ∗ Albert Benveniste Timothy Bourke Benoˆıt Caillaud Add to Reading List Source URL: www.di.ens.fr Language: English - Date: 2015-04-17 12:15:00 Combinatory logic Discretization Derivative State space Group action Mathematics Mathematical analysis Control theory
156	Innocent Game Models of Untyped Lambda Calculus Andrew D. Ker University College, Oxford Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2006-07-16 07:23:10 Mathematics Denotational semantics Lambda calculus Typed lambda calculus Game semantics Semantics of programming languages Combinatory logic Semantics Functional programming Theoretical computer science Logic in computer science Applied mathematics
157	History of Lambda-calculus and Combinatory Logic J. Roger Hindley † 2006, from Swansea University Mathematics Department Research Report Add to Reading List Source URL: www.users.waitrose.com Language: English - Date: 2008-01-14 18:38:50 Lambda calculus Combinatory logic Computability theory Fixed-point combinator Function Haskell Curry Free variables and bound variables Principia Mathematica First-order logic Mathematics Mathematical logic Theoretical computer science
158	Incentives for Subjective Evaluations with Private Beliefs Goran Radanovic and Boi Faltings Ecole Polytechnique Federale de Lausanne (EPFL) Artificial Intelligence Laboratory CH-1015 Lausanne, Switzerland Add to Reading List Source URL: liawww.epfl.ch Language: English - Date: 2015-02-05 11:37:45 Combinatory logic Mechanism design Mathematics Reputation Random variable Conditional independence Constructible universe Applied mathematics Probability and statistics Probability theory Statistical dependence Independence
159	Lambda Dependency-Based Compositional Semantics Percy Liang arXiv:1309.4408v2 [cs.AI] 18 SepSeptember 19, 2013 Add to Reading List Source URL: arxiv.org Language: English - Date: 2013-09-18 20:24:07 Mathematical logic Lambda Function Expression Combinatory logic Binary lambda calculus Lambda calculus Mathematics Theoretical computer science
160	Frequent Submap Discovery Stéphane G OSSELIN, Guillaume DAMIAND, and Christine S OLNON LIRIS Université de Lyon, France Add to Reading List Source URL: www.cs.ucr.edu Language: English - Date: 2011-09-22 14:03:55 Combinatorial map Combinatorics Permutation Combinatory logic Mathematics Algebraic topology Topological graph theory

UPDATE